Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

On some algorithms for non-parametric identification of linear systems

Année:
1994
Langue:
english
Fichier:
PDF, 332 KB
english, 1994
2

Reachability analysis of dynamical systems having piecewise-constant derivatives

Année:
1995
Langue:
english
Fichier:
PDF, 1.91 MB
english, 1995
4

Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy

Année:
1998
Langue:
english
Fichier:
PDF, 653 KB
english, 1998
7

Scheduling with timed automata

Année:
2006
Langue:
english
Fichier:
PDF, 604 KB
english, 2006
8

Algorithmic analysis of polygonal hybrid systems, part I: Reachability

Année:
2007
Langue:
english
Fichier:
PDF, 2.15 MB
english, 2007
10

Preface: Volume 65, Issue 6

Année:
2002
Langue:
english
Fichier:
PDF, 49 KB
english, 2002
13

Analytical floods and dam safety

Année:
1992
Langue:
english
Fichier:
PDF, 203 KB
english, 1992
14

Dams and extreme floods

Année:
1993
Langue:
english
Fichier:
PDF, 370 KB
english, 1993
15

Review of “reservoirs at hydroelectric stations in the USSR”

Année:
1979
Langue:
english
Fichier:
PDF, 84 KB
english, 1979
20

Problem of Caspian sea level fluctuations

Année:
1997
Langue:
english
Fichier:
PDF, 819 KB
english, 1997
21

Hybridization methods for the analysis of nonlinear systems

Année:
2007
Langue:
english
Fichier:
PDF, 415 KB
english, 2007
23

Water Supply Issues

Année:
2005
Langue:
english
Fichier:
PDF, 35 KB
english, 2005
24

Balanced timed regular expressions

Année:
2003
Langue:
english
Fichier:
PDF, 220 KB
english, 2003
27

Flooding During Operation of Water Reservoirs on the Volga and Kama Rivers

Année:
2001
Langue:
english
Fichier:
PDF, 98 KB
english, 2001
28

Social and Ecological Aspects of the Three Gorges Project

Année:
2001
Langue:
english
Fichier:
PDF, 56 KB
english, 2001
30

Some Properties of Kolmogorov $\Delta$-Random Finite Sequences

Année:
1988
Langue:
english
Fichier:
PDF, 196 KB
english, 1988
31

On the Equivalence of Being Typical and Chaotic for Finite Objects

Année:
1991
Langue:
english
Fichier:
PDF, 210 KB
english, 1991
32

Effective synthesis of switching controllers for linear systems

Année:
2000
Langue:
english
Fichier:
PDF, 469 KB
english, 2000
38

Entropy of regular timed languages

Année:
2015
Langue:
english
Fichier:
PDF, 957 KB
english, 2015
39

The Water-Balance Components of the Aral Sea and their Impact on Long-Term Level Fluctuations

Année:
1974
Langue:
english
Fichier:
PDF, 750 KB
english, 1974
40

Timed regular expressions

Année:
2002
Langue:
english
Fichier:
PDF, 352 KB
english, 2002
41

On convergence of uniform approximations of continuous functions

Année:
1984
Langue:
english
Fichier:
PDF, 146 KB
english, 1984
44

d/dt: A Tool for Reachability Analysis of Continuous and Hybrid Systems

Année:
2001
Langue:
english
Fichier:
PDF, 676 KB
english, 2001
45

Controller Synthesis for Timed Automata 1

Année:
1998
Langue:
english
Fichier:
PDF, 1.69 MB
english, 1998
46

Optimal control for timed automata 1

Année:
1999
Langue:
english
Fichier:
PDF, 3.65 MB
english, 1999
47

Timed Formal Languages - A Framework for Hybrid Systems

Année:
1998
Langue:
english
Fichier:
PDF, 878 KB
english, 1998
48

Stability Analysis of Desynchronized Systems

Année:
1990
Langue:
english
Fichier:
PDF, 1.27 MB
english, 1990
49

On the computation of covert channel capacity

Année:
2010
Langue:
english
Fichier:
PDF, 274 KB
english, 2010